window: Add hide-titlebar-when-maximized property
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 3 Dec 2011 00:47:25 +0000 (01:47 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 15 Dec 2011 15:31:56 +0000 (16:31 +0100)
commit4f8f8fe828dbb5b1a2e54a26a58149e437cd5820
treee41bd520e016cc6950863f35a7d30aaa787de6df
parentcfa0339559ed7dcfd8e85db5df05b106db7ef36b
window: Add hide-titlebar-when-maximized property

For maximized windows, titlebars cannot be used to reposition or
scale the window, so if an application does not use it to convey
useful information (other than the application name), the screen
space occupied by titlebars could be put to better use.
Add a new window property which requests from the window manager
to hide titlebars when windows are maximized to account for this.

https://bugzilla.gnome.org/show_bug.cgi?id=665616
docs/reference/gdk/gdk3-sections.txt
docs/reference/gtk/gtk3-sections.txt
gdk/x11/gdkwindow-x11.c
gdk/x11/gdkx11window.h
gtk/gtkwindow.c
gtk/gtkwindow.h